163. BL,BL
المؤلف: / Marshall G.S. Hodgson. ,20090530 0
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
164. Basic Mathematics for Economics, Business and Finance
المؤلف: / Ummer, EK
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
165. Basic research in information science and technology for air force needs /
المؤلف: Committee on Directions for the AFOSR Mathematics and Space Sciences Directorate Related to Information Science and Technology, Board on Mathematical Sciences and Their Applications, National Research Council of the National Academies.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Air forces-- Information technology-- Research-- United States.,Information networks-- Military aspects-- Research-- United States.,Information science-- Military aspects-- Research-- United States.,Information technology-- Military aspects-- Research-- United States.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,United States., 7
رده :
T58
.
5
.
B37
2006eb
166. Bayesian Approach to Global Optimization :
المؤلف: by Jonas Mockus.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
167. Bidirectional transformations :
المؤلف: Jeremy Gibbons, Perdita Stevens (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
168. Bioinformatics and phylogenetics :
المؤلف: Tandy Warnow, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
رده :
QH324
.
2
169. Bits and bugs :
المؤلف: Thomas Huckle, Tobias Neckel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Debugging in computer science-- History.,Software failures-- History.,Debugging in computer science.,Software failures.
رده :
QA76
.
76
.
F34
H83
2019
170. Boolean functions
المؤلف: / Yves Crama, Peter L. Hammer
المکتبة: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (طهران)
موضوع: Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
171. Boolean functions
المؤلف: / Yves Crama, Peter L. Hammer
المکتبة: کتابخانه مرکز روانپزشکی رازی (طهران)
موضوع: Algebraic functions,Algebra, Boolean
رده :
QA341
.
C73
2011
172. Boolean functions: theory, algorithms, and applications
المؤلف: Crama, Yves
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Algebraic functions,، Algebra, Boolean
رده :
QA
341
.
C73
173. Breaches of contracts and claims by third parties / Stephen Waddams -- Policy issues in defective property cases / Stephen Todd -- Defective structures and economic loss in the United States : law and policy / David F. Partlett -- Harm screening under negligence law / Israel Gilead -- Acts ,Notre Dame, Ind. :
المؤلف: edited by Jason W. Neyers, Erika Chamberlain and Stephen G. A. Pitel. ,Alexandra Cuffel.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
174. Building Innovation Pipelines through Computer-Aided Innovation
المؤلف: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
175. CAD/CAM in Practice :
المؤلف: by A.J. Medland, Piers Burnett.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TS155
.
6
B935
1986
176. CAST Methods in Modelling :
المؤلف: edited by Franz Pichler, Heinz Schwärtzel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
177. COMPSTAT
المؤلف: edited by Roger Payne, Peter Green.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Management information systems.,Statistics.
178. COMPSTAT 2004 - Proceedings in Computational Statistics
المؤلف: edited by Jaromir Antoch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.
179. Cellular automata and discrete complex systems :
المؤلف: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
رده :
QA267
.
5
.
C45
180. Certified Programs and Proofs :
المؤلف: edited by Chris Hawblitzel, Dale Miller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
